Petri Nets and Dependability
نویسندگان
چکیده
Dependability evaluation main objective is to assess the ability of a system to correctly function over time. There are many possible approaches to the evaluation of dependability: in these notes we are mainly concerned with dependability evaluation based on probabilistic models. Starting from simple probabilistic models with very efficient solution methods we shall then come to the main topic of the paper: how Petri nets can be used to evaluate the dependability of complex systems.
منابع مشابه
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Stochastic Petri nets are commonly used for modeling distributed systems in order to study their performance and dependability. This paper proposes a realization of stochastic Petri nets in SystemC for modeling large embedded control systems. Then statistical model checking is used to analyze the dependability of the constructed model. Our verification framework allows users to express a wide r...
متن کاملDependability Models Based on Petri Nets and Markov Chains
This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.
متن کاملPetri-nets and Hybrid-state Markov Processes in a Power-hierarchy of Dependability Models
This paper extends the power hierarchy of dependability models developed by Malhotra and Trivedi (1994) and Muppala et al. (2000) to include Piecewise Deterministic Markov Processes (PDP) and PDP-related Petri Nets. PDPs are known as the largest class of continuous-time hybrid state Markov processes not involving diffusions. Since Petri Nets have proven to be extremely useful in developing Mark...
متن کاملThe Evolution of Stochastic Petri Nets
Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...
متن کاملDiscrete and Hybrid Systems Dependability Analysis with ESA PetriNet
Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...
متن کامل